- логическое дополнение
- Engineering: Boolean complement
Универсальный русско-английский словарь. Академик.ру. 2011.
логическое дополнение
Смотреть что такое "логическое дополнение" в других словарях:
ЛОГИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО — последовательность высказываний, часть которых является ее исходными утверждениями аксиомами, а все другие выводятся из них по четко указанным правилам вывода (основные из них дедукция, математическая индукция, правило подстановки) или вводятся с … Философия науки: Словарь основных терминов
ECMAScript — Класс языка: мультипарадигменный: объектно ориентированное, обобщённое, функциональное, императивное, аспектно ориентированное, событийно ориентированное, прототипное программирование Появился в: 1995 Автор(ы) … Википедия
Социальная история — Общее определение С. истории. В общем понятии истории как в смысле науки, так и в смысле предмета, этой наукой изучаемого (см.), С. история противополагается истории культурной (см.) и политической. Под С. историей в узком смысле разумеют историю … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ДИХОТОМИЯ — (от греч. dichotomia разделение на две части) деление на две непересекающиеся части (напр., проводимое в Ветхом Завете видение человека, как состоящего из души и тела); в логике деление класса предметов, обозначаемых исходным понятием, на две… … Философская энциклопедия
predicato — (предикат | prédicat | Prädikat | predicate | predicato) Грамматическим предикатом (prédicat grammatical) называют член, находящийся в грамматической зависимости от подлежащего: Ces hommes «Эти люди» (подлежащее) son venus ici «пришли сюда»… … Пятиязычный словарь лингвистических терминов
passivo — (страдательный залог, пассив | passif | Passiv | passive | passivo) Система глагольных форм, существующая в некоторых языках параллельно системе действительного залога и предназначенная для выражения того, что грамматическое подлежащее затронуто… … Пятиязычный словарь лингвистических терминов
БУЛЬ — (Boole) Джордж (род. 2 нояб. 1815, Линкольн – ум. 8 дек. 1864, Корк) англ, математик и логик, создатель т. н. «алгебраической логики» (см. Логистика). Осн. произв.: «The mathematical analysis of logik», 1847; «An analysis of the laws of thought» … Философская энциклопедия
Троичные функции — Троичной функцией в теории функциональных систем и троичной логике называют функцию типа , где троичное множество, а неотрицательное целое число, которое называют арностью или местностью функции. Элементы множества цифровые… … Википедия
BioShock — Разработчик 2K Boston/2K Australia (Windows), 2K Marin (PS3), Feral Interactive (версия для Mac OS X) Издатели 2K Games … Википедия
Космические рейнджеры 2: Доминаторы — Разработчик Elemental Games Издатель 1C Дата выпуска … Википедия
Чичерин, Борис Николаевич — известный юрист и философ. Род. в Тамбове в 1828 г.; до 1868 г. был профессором государственного права в московском университете, в 1882 83 гг. московским городским головой; по выходе в отставку живет в своем имении (село Караул, Кирсановского… … Большая биографическая энциклопедия
